FOUNDATIONAL AND MATHEMATICAL USES OF HIGHER TYPES ULRICH KOHLENBACH† DEDICATED TO SOLOMON FEFERMAN FOR HIS 70TH BIRTHDAY §1. Introduction. A central theme of proof theory is expressed by the following question:

Source URL: www.mathematik.tu-darmstadt.de

• Computability theory
• Proof theory
• Mathematical logic
• Metalogic
• Reverse mathematics
• Primitive recursive functional
• Second-order arithmetic
• Peano axioms
• Primitive recursive function
• Primitive recursive arithmetic
• Model theory
• Symbol

2D Ising model: correlations via boundary value problems Dmitry Chelkak (Steklov Institute, St.Petersburg; Geneva University) In this talk we give a survey of convergence results obtained during the last several years fo

Source URL: www.7ecm.de

• Theoretical physics
• Physics
• Statistical mechanics
• Quantum mechanics
• Symmetry
• Ising model
• Quantum field theory
• Conformal field theory
• Holomorphic function
• Spin
• Correlation function

Working Paper Series _______________________________________________________________________________________________________________________ National Centre of Competence in Research Financial Valuation and Risk Manageme

Source URL: www.nccr-finrisk.uzh.ch

• Economy
• Economics
• Macroeconomics
• Consumer theory
• Monetary policy
• Mathematical finance
• Keynesian economics
• Interest rates
• Inflation
• ISLM model
• Elasticity of intertemporal substitution
• Real interest rate

JMLR: Workshop and Conference Proceedings vol 40:1–15, 2015 Optimally Combining Classifiers Using Unlabeled Data Akshay Balsubramani Yoav Freund

Source URL: jmlr.org

• Mathematical analysis
• Mathematics
• Logic
• Measure theory
• Metalogic
• Model theory
• Support vector machine
• Structure
• Sigma-algebra
• Indexed grammar

BIOINFORMATICS APPLICATIONS NOTE Vol. 22 no, pages 768–770 doi:bioinformatics/btk051 Genetics and population analysis

Source URL: evolution.gs.washington.edu

• Statistics
• Statistical theory
• Estimation theory
• Statistical inference
• Population genetics
• Statistical genetics
• Coalescent theory
• Haplotype
• Mixture model
• Bayesian inference
• Point estimation
• Models of DNA evolution

Stat 542 Homework 2 - Due Tuesday, March 15 (12pm) You are required to submit a hard copy printed pdf document in class with answers to the following questions. This document must be generated using the LaTeX typesetting

Source URL: www-stat.wharton.upenn.edu

• Statistics
• Estimation theory
• Statistical models
• Statistical theory
• Cluster analysis
• Expectationmaximization algorithm
• Missing data
• Maximum likelihood estimation
• Normal distribution
• Mixture model
• Likelihood function

Macroeconomic Uncertainty, Difference in Beliefs, and Bond Risk Premia Andrea Buraschi and Paul Whelan ABSTRACT

Source URL: www.q-group.org

• Monetary policy
• Mathematical finance
• Fixed income market
• Yield curve
• Macroeconomics
• Macroeconomic model
• Economic model
• General equilibrium theory
• Inflation targeting
• Interest rate
• Economics
• Heterogeneity in economics

Questions about isogenies, automorphisms and bounds B.M. July 20, 2015 Very rough notes for my lecture at the Model Theory Seminar: MSRI April 29, 2014 Contents

Source URL: www.math.harvard.edu

15 Analysis of Instructional Design and a Rationale for the Model of Instruction

Source URL: dianadell.com

• Education
• Educational psychology
• Hypermedia
• Instructional design
• Educational technology
• Andragogy
• Learning theory
• Learning
• Adaptive hypermedia
• E-learning

CENTRAL BANK OF ICELAND Capital Investment and Equilibrium Unemployment By Jósef Sigurdsson

Source URL: www.cb.is

• Unemployment
• Economic growth
• Labour economics
• Social justice
• Marxian economics
• Macroeconomics
• Economics
• Beveridge curve
• Natural rate of unemployment
• Productivity
• Matching theory
• Macroeconomic model